$\forall$${\it the\_es}$:ES, $e$:E, $l$:IdLnk. rcvs($l$;before($e$)) $\in$ \{$e$:E$\mid$ haslnk($l$;$e$) \} List